\select@language {english}
\select@language {english}
\select@language {brazil}
\contentsline {chapter}{List of Figures}{}{chapter*.2}
\contentsline {chapter}{List of Tables}{}{chapter*.3}
\contentsline {chapter}{\numberline {1}Introduction}{16}{chapter.1}
\contentsline {section}{\numberline {1.1}Motivation and Problem Statement}{18}{section.1.1}
\contentsline {section}{\numberline {1.2}Objectives and Main Results}{21}{section.1.2}
\contentsline {subsection}{\numberline {1.2.1}Hypothesis}{21}{subsection.1.2.1}
\contentsline {subsection}{\numberline {1.2.2}Objectives}{22}{subsection.1.2.2}
\contentsline {subsection}{\numberline {1.2.3}Contributions}{23}{subsection.1.2.3}
\contentsline {section}{\numberline {1.3}Document Organization}{24}{section.1.3}
\contentsline {chapter}{\numberline {2}State of the Art}{26}{chapter.2}
\contentsline {section}{\numberline {2.1}Background}{28}{section.2.1}
\contentsline {subsection}{\numberline {2.1.1}Model-Driven Development}{28}{subsection.2.1.1}
\contentsline {paragraph}{Computational Independent Model:}{28}{section*.4}
\contentsline {paragraph}{Platform Independent Model:}{29}{section*.4}
\contentsline {paragraph}{Computational Specific Model:}{29}{section*.4}
\contentsline {subsection}{\numberline {2.1.2}Service-Oriented Applications}{29}{subsection.2.1.2}
\contentsline {subsection}{\numberline {2.1.3}Non-Functional Requirements}{30}{subsection.2.1.3}
\contentsline {subsection}{\numberline {2.1.4}Design by Contract}{31}{subsection.2.1.4}
\contentsline {section}{\numberline {2.2}Non-Functional Requirements for Service-Based Applications}{32}{section.2.2}
\contentsline {subsection}{\numberline {2.2.1}Concepts and Works}{34}{subsection.2.2.1}
\contentsline {subsection}{\numberline {2.2.2}Analysis}{35}{subsection.2.2.2}
\contentsline {section}{\numberline {2.3}Methodologies for Service Oriented Development}{40}{section.2.3}
\contentsline {subsection}{\numberline {2.3.1}Concepts and Works}{41}{subsection.2.3.1}
\contentsline {subsection}{\numberline {2.3.2}Analysis}{45}{subsection.2.3.2}
\contentsline {section}{\numberline {2.4}Classification of Non-Functional Requirements for Service-Based Applications}{48}{section.2.4}
\contentsline {subsection}{\numberline {2.4.1}NFR Meta-Model}{48}{subsection.2.4.1}
\contentsline {subsection}{\numberline {2.4.2}NFR Classification}{49}{subsection.2.4.2}
\contentsline {section}{\numberline {2.5}Conclusions}{53}{section.2.5}
\contentsline {chapter}{\numberline {3}$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications}{56}{chapter.3}
\contentsline {section}{\numberline {3.1}$\pi $SOD-M}{57}{section.3.1}
\contentsline {subsection}{\numberline {3.1.1}General Overview}{58}{subsection.3.1.1}
\contentsline {subsection}{\numberline {3.1.2}Development Process}{59}{subsection.3.1.2}
\contentsline {subsection}{\numberline {3.1.3}Methodology Concepts}{60}{subsection.3.1.3}
\contentsline {subsection}{\numberline {3.1.4}Case Study}{64}{subsection.3.1.4}
\contentsline {section}{\numberline {3.2}Platform Independent Models}{66}{section.3.2}
\contentsline {subsection}{\numberline {3.2.1}\textit {$\pi $-UseCase} Model}{66}{subsection.3.2.1}
\contentsline {subsubsection}{\numberline {3.2.1.1}\textit {$\pi $-UseCase} Diagram, Terms and Concepts}{68}{subsubsection.3.2.1.1}
\contentsline {subsubsection}{\numberline {3.2.1.2}Meta-model}{70}{subsubsection.3.2.1.2}
\contentsline {subsubsection}{\numberline {3.2.1.3}UML Concepts Representation}{71}{subsubsection.3.2.1.3}
\contentsline {subsubsection}{\numberline {3.2.1.4}\textit {To Publish Music} Use Case}{75}{subsubsection.3.2.1.4}
\contentsline {subsection}{\numberline {3.2.2}\textit {$\pi $-ServiceProcess} Model}{76}{subsection.3.2.2}
\contentsline {subsubsection}{\numberline {3.2.2.1}\textit {$\pi $-ServiceProcess} Diagram, Terms and Concepts}{77}{subsubsection.3.2.2.1}
\contentsline {subsubsection}{\numberline {3.2.2.2}Meta-model}{79}{subsubsection.3.2.2.2}
\contentsline {subsubsection}{\numberline {3.2.2.3}UML Concepts Representation}{80}{subsubsection.3.2.2.3}
\contentsline {subsubsection}{\numberline {3.2.2.4}\textit {To Publish Music} Process}{83}{subsubsection.3.2.2.4}
\contentsline {subsection}{\numberline {3.2.3}$\pi $-ServiceComposition Model}{84}{subsection.3.2.3}
\contentsline {subsubsection}{\numberline {3.2.3.1}\textit {$\pi $-ServiceComposition} Diagram, Terms and Concepts}{85}{subsubsection.3.2.3.1}
\contentsline {subsubsection}{\numberline {3.2.3.2}Meta-model}{86}{subsubsection.3.2.3.2}
\contentsline {subsubsection}{\numberline {3.2.3.3}UML Concepts Representation}{88}{subsubsection.3.2.3.3}
\contentsline {subsubsection}{\numberline {3.2.3.4}\textit {Publish Music} Service Composition}{90}{subsubsection.3.2.3.4}
\contentsline {section}{\numberline {3.3}$\pi $-PEWS Platform Specific Models}{91}{section.3.3}
\contentsline {subsection}{\numberline {3.3.1}$\pi $-PEWS Specification, Terms and Concepts}{92}{subsection.3.3.1}
\contentsline {subsection}{\numberline {3.3.2}Meta-model}{93}{subsection.3.3.2}
\contentsline {section}{\numberline {3.4}Model Transformations}{96}{section.3.4}
\contentsline {subsection}{\numberline {3.4.1}From $\pi $-UseCase to $\pi $-ServiceProcess}{97}{subsection.3.4.1}
\contentsline {subsection}{\numberline {3.4.2}From $\pi $-ServiceProcess to $\pi $-ServiceComposition}{102}{subsection.3.4.2}
\contentsline {subsection}{\numberline {3.4.3}From $\pi $-ServiceComposition to $\pi $-PEWS}{105}{subsection.3.4.3}
\contentsline {section}{\numberline {3.5}Conclusions}{107}{section.3.5}
\contentsline {chapter}{\numberline {4}\textit {$\pi $SOD-M} Environment}{109}{chapter.4}
\contentsline {section}{\numberline {4.1}General Architecture}{110}{section.4.1}
\contentsline {subsection}{\numberline {4.1.1}Ecore Meta-models (\textit {Models Plugin Module})}{111}{subsection.4.1.1}
\contentsline {subsection}{\numberline {4.1.2}Model Transformation (\textit {Mapping Plugin Module})}{112}{subsection.4.1.2}
\contentsline {subsubsection}{\numberline {4.1.2.1}\textit {$\pi $-UseCase2$\pi $ServiceProcess} Transformation Rules}{114}{subsubsection.4.1.2.1}
\contentsline {subsubsection}{\numberline {4.1.2.2}\textit {$\pi $-ServiceProcess2$\pi $-ServiceComposition} Transformation Rules}{116}{subsubsection.4.1.2.2}
\contentsline {subsubsection}{\numberline {4.1.2.3}\textit {$\pi $-ServiceComposition2$\pi $-PEWS} Transformation Rules}{117}{subsubsection.4.1.2.3}
\contentsline {subsection}{\numberline {4.1.3}Code Generation (\textit {Code Generation Module})}{117}{subsection.4.1.3}
\contentsline {section}{\numberline {4.2}Defining Reliable Service Based Applications}{122}{section.4.2}
\contentsline {subsection}{\numberline {4.2.1}\textit {$\pi $-UseCase} Model}{122}{subsection.4.2.1}
\contentsline {subsection}{\numberline {4.2.2}\textit {$\pi $-ServiceProcess} Models}{124}{subsection.4.2.2}
\contentsline {subsection}{\numberline {4.2.3}\textit {$\pi $-ServiceComposition} Models}{126}{subsection.4.2.3}
\contentsline {subsection}{\numberline {4.2.4}\textit {$\pi $-PEWS} Models}{129}{subsection.4.2.4}
\contentsline {section}{\numberline {4.3}Extending the Environment}{130}{section.4.3}
\contentsline {section}{\numberline {4.4}Conclusion}{131}{section.4.4}
\contentsline {chapter}{\numberline {5}Evaluation}{132}{chapter.5}
\contentsline {section}{\numberline {5.1}Example 1: To Publish Music}{133}{section.5.1}
\contentsline {subsection}{\numberline {5.1.1}$\pi $-UseCase Model}{133}{subsection.5.1.1}
\contentsline {subsection}{\numberline {5.1.2}$\pi $-ServiceProcess Model}{134}{subsection.5.1.2}
\contentsline {subsection}{\numberline {5.1.3}$\pi $-ServiceComposition Model}{137}{subsection.5.1.3}
\contentsline {section}{\numberline {5.2}Example 2: Crime Map}{138}{section.5.2}
\contentsline {subsection}{\numberline {5.2.1}$\pi $-UseCase Model}{139}{subsection.5.2.1}
\contentsline {subsection}{\numberline {5.2.2}$\pi $-ServiceProcess Model}{142}{subsection.5.2.2}
\contentsline {subsection}{\numberline {5.2.3}$\pi $-ServiceComposition Model}{145}{subsection.5.2.3}
\contentsline {section}{\numberline {5.3}Example 3: GesIMED Application}{149}{section.5.3}
\contentsline {subsection}{\numberline {5.3.1}\textit {$\pi $-UseCase} Model}{152}{subsection.5.3.1}
\contentsline {subsection}{\numberline {5.3.2}\textit {$\pi $-ServiceProcess} Model}{153}{subsection.5.3.2}
\contentsline {subsection}{\numberline {5.3.3}\textit {$\pi $-ServiceComposition} Model}{154}{subsection.5.3.3}
\contentsline {section}{\numberline {5.4}Lessons Learned}{155}{section.5.4}
\contentsline {subsection}{\numberline {5.4.1}Example 1: To Publish Music}{155}{subsection.5.4.1}
\contentsline {subsection}{\numberline {5.4.2}Example 2: Crime Map}{155}{subsection.5.4.2}
\contentsline {subsection}{\numberline {5.4.3}Example 3: GesIMED}{156}{subsection.5.4.3}
\contentsline {section}{\numberline {5.5}Measurement and Evaluation of the $\pi $SOD-M Methodology}{158}{section.5.5}
\contentsline {paragraph}{Generate a set of goals:}{159}{Item.12}
\contentsline {paragraph}{Set of questions of interest which quantify the goals:}{160}{Item.16}
\contentsline {paragraph}{Set of data metrics and distributions:}{160}{table.caption.103}
\contentsline {paragraph}{Collecting the data:}{160}{table.caption.104}
\contentsline {paragraph}{Evaluation of the data:}{161}{table.caption.104}
\contentsline {paragraph}{Conclusions:}{162}{table.caption.105}
\contentsline {subsection}{\numberline {5.5.1}Comparison of the SOD-M and $\pi $SOD-M approaches}{162}{subsection.5.5.1}
\contentsline {section}{\numberline {5.6}Conclusions}{165}{section.5.6}
\contentsline {chapter}{\numberline {6}Conclusions}{167}{chapter.6}
\contentsline {section}{\numberline {6.1}Main Contributions}{168}{section.6.1}
\contentsline {section}{\numberline {6.2}Future Work}{169}{section.6.2}
\contentsline {chapter}{References}{171}{section.6.2}
\contentsline {chapter}{Appendix{} A{} -$\tmspace -\thinmuskip {.1667em}$-{} Source Selection and Analysis Method: Non-Functional Requirements for Service-Based Applications}{180}{appendix.A}
\contentsline {chapter}{Appendix{} B{} -$\tmspace -\thinmuskip {.1667em}$-{} Service-Based Non-Functional Requirement Concepts}{183}{appendix.B}
\contentsline {chapter}{Appendix{} C{} -$\tmspace -\thinmuskip {.1667em}$-{} \textit {$\pi $-PEWS} Language}{185}{appendix.C}
\contentsline {chapter}{Appendix{} D{} -$\tmspace -\thinmuskip {.1667em}$-{} \textit {To Publish Music} Case Study Diagrams}{188}{appendix.D}
